MAX NIEMEYER †.

Zeitschrift Für Rezensionen Zur Germanistischen Literaturwissenschaft Niemeyer

Neurological and architectural sinuosities: the Niemeyer brothers.

In a family of 7 siblings in Rio de Janeiro, Brazil, 2 of the most remarkable national personalities decided to follow different fields at the beginning of the 20th century. Their life's work would, however, intersect in at least 2 respects: the quest for innovation and a passion for sinuosity. The achievements of Paulo and Oscar Niemeyer are landmarks in the history of neurosurgery and archite...

Lessons learned from an unsung hero: Gloria Niemeyer Francke.

Dennis B. Worthen, Lloyd Scholar at the Lloyd Library and Museum in Cincinnati, OH, has done our profession a service of great importance by initiating the series published in the Journal of the American Pharmacists Association, ‘‘Heroes of Pharmacy.’’ The first 28 profiles of pharmacy’s early heroes have also been compiled in a book by the same title published by the American Pharmacists Assoc...

Random Max 2-sat and Max Cut

Given a 2-SAT formula F consisting of n variables and b n random clauses, what is the largest number of clauses maxF satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of 34 n and n. We prove that for < 1, the expected number of clauses satisfiable is b n o(1); for large , it is ( 34 + (p ))n; for = 1 + ", it is at least (1 + " O("3))n and at m...

Modelling Max-CSP as Partial Max-SAT

We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental investigation that was conducted to compare the performance profile of our encodings on random binary Max-CSP instances. Moreover, we define a new variant of the support encoding...